Atomic and Saturated Models
functor.networkยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Theory
Type Theory and Functional Programming (1999) [pdf]
dev.toยท4dยท
Discuss: DEV
๐Ÿ”งAPI Design
Recurse Checkins
404wolf.comยท9h
๐Ÿ”„Bootstrapping
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comยท15hยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Datatypes
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.orgยท6h
๐ŸŽฒParser Fuzzing
TypeScript and the Illusion of Type-Safety
medium.comยท2dยท
Discuss: r/typescript
๐Ÿ”งAPI Design
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท6hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.comยท35mยท
Discuss: Hacker News
โš–๏ธInference Rules
Category Theory Illustrated โ€“ Natural Transformations
abuseofnotation.github.ioยท5dยท
๐Ÿ”—Category Theory
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
ECS Implementation
reddit.comยท1dยท
Discuss: r/cpp
๐Ÿค–Embedded Go
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.comยท15hยท
Discuss: Hacker News
๐Ÿ›ก๏ธStack Safety
Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท3dยท
โšกfunctional programming
LLMs one-box when in a "hostile telepath" version of Newcomb's Paradox, except for the one that beat the predictor
lesswrong.comยท2h
โœ…Type Checking
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท1d
๐Ÿ”—Concatenative Theory
Java Annotated Monthly โ€“ October 2025
blog.jetbrains.comยท2h
๐Ÿ’ฌSmalltalk VMs
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท7h
๐Ÿ”’Rust Borrowing
OO Design Principles: GRASP patterns
slott56.github.ioยท1d
๐Ÿ”€Control Structures
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.comยท16h
๐ŸงฎCombinator Calculus
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.orgยท6h
๐Ÿ”ฌNanopasses